- 双语例句 更多例句
Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证
互联网摘选
MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。
互联网摘选
Operational semantics and denotational semantics are two type of formal semantics.
其中操作语义学和指称语义学是形式语义学的两大类别。
互联网摘选
There may also be operational semantics to consider when introducing a change.
在引入更改时，还可能需要考虑操作语义。
互联网摘选
Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义
互联网摘选
最后，用Plotkin风格的结构操作语义SOS（structural operational semantics）规则归纳地给出满足组合性的UML状态机语义。
互联网摘选
本文以操作语义为分析工具，证明了SPL策略语言表达式的确定性和可终止性，从而间接证明了SPL语言的安全性是有保障的。
互联网摘选
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；
互联网摘选
- 相关词组
- operational stripping ratio生产剥采比
- high-gain and low-drift operational amplifier高增益低漂移运算放大器
- world semantics[计] 世界语义学;
- high input impedance operational amplifier高输入阻抗型运算放大器
- logic semantics[计]逻辑语义学;
- tree semantics[计]树状语义学;
- program semantics程序语义学;
- Operational Manager运营经理
- dynamic semantics[计]动态语义学;
- monolithic integrated operational amplifier单块集成运算放大器
- lexical semantics词汇语义学;
- final semantics最终语义；终结语义
- general operational requirement一般使用要求
- trace semantics[计]轨迹语义学;
- master operational console主操纵台
- query semantics[计]查询语义学;
- managerial and operational rationalization经营管理合理化
- semantics of data[计] 数据语义学;
- operational servo操作伺服系统
- general semantics普通语义;
- 今日热词
- 热门搜索
- lemonade n.柠檬汽水;一杯（或一瓶）柠檬饮料;
- album n.相册;集邮簿;签名册;唱片;
- must modal. 必须;一定;应该;一定要;n.必须做的事;
- smooth adj.光滑的;温和的;v.使光滑;均匀涂抹;安抚;
- merry adj.愉快的，快活的;有趣的;[口]微醉的;生动的;
- priorities n.先( priority的名词复数 );优先;优先权;优先考虑的事;
- lodge vi.存放;暂住;埋入;（权利、权威等）归属;vt.提出（报告、要求、申诉等）;容纳;寄存;把（权利、权威等）授予;
- xy abbr.[医][=normal male chromosome type]正常男性染色体组型;xy公司;正常男性染色体组型
- steal v.窃取;偷偷移动;偷垒;n.便宜货;偷窃;
- motorcycle n.摩托车;机动车;
- 阿森纳 Arsenal; Arsenal FC; Woolwich Arsenal;
- Mac OS Mac 操作系统;苹果系统;苹果电脑;苹果机操作系统;
